val showtime : float -> unit
val show : float -> float -> unit